1. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence

رده :
QA
267
.
P87
2010